-
1 forward chaining
1) Компьютерная техника: прямой поиск2) Вычислительная техника: вывод "от фактов к цели", вывод от фактов к цели, индуктивный вывод, прямая цепочка рассуждений, прямое построение цепочки (напр. рассуждений от исходных посылок к целевой гипотезе), прямой логический вывод (в экспертных системах), прямой (логический) вывод (в экспертных системах)3) Программирование: прямая цепочка [логического] вывода (один из методов поиска решения в экспертных системах. Ход рассуждений ведётся от фактов к цели (тому, что нужно доказать)), использование метода "от событий к цели", использование прямой цепочки умозаключений4) Автоматика: прямая цепочка заключений, прямое ( логическое) умозаключение (в экспертной системе) -
2 forward chaining
прямое построение цепочки (напр., рассуждений от исходных посылок к целевой гипотезе) ;
прямой (логический) вывод( в экспертных системах)Большой англо-русский и русско-английский словарь > forward chaining
-
3 прямое построение цепочки
Information technology: forward chaining (напр. рассуждений от исходных посылок к целевой гипотезе)Универсальный русско-английский словарь > прямое построение цепочки
-
4 forward chaining
прямое построение цепочки (напр., рассуждений от исходных посылок к целевой гипотезе); прямой (логический) вывод ( в экспертных системах)English-Russian dictionary of computer science and programming > forward chaining
-
5 прямое построение цепочки
(напр., рассуждений от исходных посылок к целевой гипотезе) forward chainingРусско-английский словарь по вычислительной технике и программированию > прямое построение цепочки
См. также в других словарях:
ЛОГИЧЕСКИЕ ОШИБКИ — нарушения к. л. законов или правил логики. Если ошибка допущена неумышленно, она называется паралогизмом; если же правила логики нарушают умышленно с целью доказать недоказуемое или ввести кого то в заблуждение, то это софизм. Л.о. следует… … Философская энциклопедия
ЭНТИМЕМЫ — (англ. enthymeme; от греч. «в уме», «в мыслях») доводы, рассуждения, в которых некоторые посылки или следствия не формулируются в явном виде. Во всех областях науки, образования и повседневной жизни в ходе общения наряду с явно формулируемыми… … Большая психологическая энциклопедия
ЕСТЕСТВЕННАЯ ТЕОЛОГИЯ — [лат. theologia naturalis], термин, очерчивающий особую область философско богословских размышлений и исследований, общей характерной чертой к рых является признание в качестве отправного факта того, что всякий человек естественным образом… … Православная энциклопедия
АНТИНОМИЯ — (от греч. antinomia противоречие в законе) рассуждение, доказывающее, что два высказывания, являющиеся отрицанием друг друга, вытекают одно из другого. Характерным примером логической А. является «Лжеца» парадокс. Наибольшую известность из… … Философская энциклопедия
МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И … Философская энциклопедия
Логика науки — в специальном смысле дисциплина, применяющая понятия и технический аппарат современной логики к анализу систем научного знания. Термин «Л. н.» часто употребляется также для обозначения законов развития науки (логика научного развития),… … Большая советская энциклопедия
ОТРИЦАНИЕ — филос. категория, выражающая опре дел. тип отношения между двумя последоват. стадиями, состояниями развивающегося объекта. О. является необходимым моментом процесса развития. Диалектика в «...позитивное понимание существующего... включает … Философская энциклопедия
1_ИНОСТРАННЫЕ ТЕРМИНЫ И ВЫРАЖЕНИЯ — Ab ovo (лат.) с самого начала (букв. с яйца). Accidens (лат.) несущественное, случайное, привходящее свойство. Actu; in actu (лат.) актуально, в действии, в действительности. Ad hoc (лат.) для данного случая. Напр., гипотеза ad hoc. Ad hominem,… … Философская энциклопедия
Дирак, Поль Адриен Морис — Поль Адриен Морис Дирак Paul Adrien Maurice Dirac Дата рождения: 8& … Википедия
Дирак — Дирак, Поль Адриен Морис Поль Адриен Морис Дирак Paul Adrien Maurice Dirac Дата рождения: 8 августа 1902( … Википедия
ПРОТИВОРЕЧИЕ ЛОГИЧЕСКОЕ — ПРОТИВОРЕЧИЕ ЛОГИЧЕСКОЕ утверждение одновременного наличия некоторой ситуации А и отсутствия этой ситуации. В языке выражается утверждением А и не А: (Α& Α), которое является тождественно ложным. Методологическое значение логических… … Философская энциклопедия
